17

A principled approach to programming with nested types in Haskell

Year:
2009
Language:
english
File:
PDF, 640 KB
english, 2009
18

A Generalization of Short-Cut Fusion and its Correctness Proof

Year:
2002
Language:
english
File:
PDF, 169 KB
english, 2002